Matching Systems for Concurrent Calculi
نویسندگان
چکیده
Matching systems were introduced by Carbone and Maffeis, and used to investigate the expressiveness of the pi-calculus with polyadic synchronisation. We adapt their definition and investigate matching systems for CCS, the pi-calculus and Mobile Ambients. We show among other results that the asynchronous pi-calculus with matching cannot be encoded (under certain conditions) in CCS with polyadic synchronisation of all finite levels.
منابع مشابه
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are extensions of the the pi-calculus; a growing number is geared towards particular applications or co...
متن کاملA Sorted Semantic Framework for Applied Process Calculi
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondeterminism, process creation, and dynamic connection topologies. Several such formalisms, e.g. the applied pi calculus, are extensions of the the pi-calculus; a growing number is geared towards particular applications or co...
متن کاملConcurrency theory - calculi and automata for modelling untimed and timed concurrent systems
CONCURRENCY THEORY CALCULI AN AUTOMATA FOR MODELLING UNTIMED AND TIMED CONCURRENT SYSTEMS Are you looking for ebook concurrency theory calculi an automata for modelling untimed and timed concurrent systems PDF? You will be glad to know that right now concurrency theory calculi an automata for modelling untimed and timed concurrent systems PDF is available on our online library. With our online ...
متن کاملLanguages, Logics, Types and Tools for Concurrent System Modelling
Gutkovas, R. 2016. Languages, Logics, Types and Tools for Concurrent System Modelling. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1392. 60 pp. Uppsala: Acta Universitatis Upsaliensis. ISBN 978-91-554-9628-9. A concurrent system is a computer system with components that run in parallel and interact with each other. Such systems are ubiquit...
متن کاملConcurrent Pattern Calculus
Concurrent pattern calculus drives interaction between processes by unifying patterns, just as sequential pattern calculus drives computation by matching a pattern against a data structure. By generalising from pattern matching to unification, interaction becomes symmetrical, with information flowing in both directions. This provides a natural language for describing any form of exchange or tra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 194 شماره
صفحات -
تاریخ انتشار 2008